$\forall$$a$, $b$:$\mathbb{Q}$. ($a$ $\geq$ $b$) $\in$ $\mathbb{P}$